Section: Dissemination
Promoting Scientific Activities
Scientific Events Organisation
General Chair, Scientific Chair
-
Catalin Hritcu and Amal Ahmed co-organized a Dagstuhl Seminar on Secure Compilation (18201)
-
Harry Halpin and Bart Preneel co-organized the ECRYPT-CSA workshop on Crypto Policies (22-23 January 2018) in Brussels, Belgium.
Member of the Organizing Committees
Scientific Events Selection
Chair of Conference Program Committees
-
Catalin Hritcu was the PC chair for the 2nd Workshop on Principles of Secure Compilation (PriSC) at POPL 2018
-
Harry Halpin was General Chair of the 1st Workshop on the Decentralization of Governance at INSCI 2018
Member of the Conference Program Committees
-
Bruno Blanchet was PC member of RESSI 2018 (Rendez-vous de la Recherche et de l'Enseignement de la Sécurité des Systèmes d'Information).
-
Catalin Hritcu was PC member of EuroS&P 2018, ESOP 2018, and CCS 2018
-
Karthikeyan Bhargavan was PC member of IEEE S&P 2018, ACM CCS 2018, and POST 2018
-
Harry Halpin was PC Member of SSR 2018, ACM WWW 2018, and ISWC 2018.
Reviewer
Journal
Member of the Editorial Boards
- Associate Editor
Invited Talks
-
Catalin Hritcu gave an Invited Keynote talk at the Working Formal Methods Symposium (FROM) in June 2018
-
Catalin Hritcu gave invited talks at Nomadic Labs (Tezos), IRIF Verification Seminar (Paris 7), and SoSySec seminar (IRISA Rennes)
-
Karthikeyan Bhargavan gave invited talks at Security Standardization Research (SSR 2018), Formal Methods and Tools for Security (FMATS 2018), Crypto Welcomes TLS 1.3 (CWTLS), and the annual GDR Securité meeting.
-
Harry Halpin gave invited talks at the EPFL Summer Research Institute in July 2018, the Web 3.0 Summit in October 2018, and Binance Labs in December 2018.
Leadership within the Scientific Community
Scientific Expertise
-
Bruno Blanchet is a member of the specialized temporary scientific committee of ANSM (Agence nationale de sécurité du médicament et des produits de santé), on the cybersecurity of software medical devices.
-
Bruno Blanchet participated to a review of the code of the Tezos blockchain by the Inria Foundation (March–May 2018).
-
Harry Halpin participated as a member of the advisory board to the PANORAMIX EC H2020 project (2018).